Brázdil, Tomá: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Unveiling the mystery of déjà vu: The structural anatomy of déjà vu

Milan Brázdil, Radek Mareček, Tomáš Urbánek, Tomáš Kašpárek, Michal Mikl, Ivan Rektor, Adam Zeman

Journal:

Year:

2012

Language:

english

File:

PDF, 437 KB

english, 2012

2

Evaluation of meteorological controls of reconstructed rockfall activity in the Czech Flysch Carpathians

Karel Šilhán, Rudolf Brázdil, Tomáš Pánek, Petr Dobrovolný, Lucie Kašičková, Radim Tolasz, Ondřej Turský, Marek Václavek

Journal:

Earth Surface Processes and Landforms

Year:

2011

Language:

english

File:

PDF, 659 KB

english, 2011

3

Superior temporal sulcus and social cognition in dangerous drivers

Zelinková, Jana, Shaw, Daniel Joel, Mareček, Radek, Mikl, Michal, Urbánek, Tomáš, Peterková, Lenka, Zámečník, Petr, Brázdil, Milan

Journal:

Year:

2013

Language:

english

File:

PDF, 487 KB

english, 2013

4

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Trading Performance for Stability in Markov Decision Processes

Brazdil, Toma, Chatterjee, Krishnendu, Forejt, Vojtech, Kucera, Antonin

Year:

2013

Language:

english

File:

PDF, 255 KB

english, 2013

5

Heat transfer in rotor stator cavity

Snajdarek, Ladislav, Pospisil, Jiri, Brazdil, Marian, Dančová, Petra, Vít, Tomáš

Journal:

EPJ Web of Conferences

Year:

2015

Language:

english

File:

PDF, 2.26 MB

english, 2015

6

Hippocampal involvement in nonpathological déjà vu: Subfield vulnerability rather than temporal lobe epilepsy equivalent

Pešlová, Eva, Mareček, Radek, Shaw, Daniel J., Kašpárek, Tomáš, Pail, Martin, Brázdil, Milan

Journal:

Brain and Behavior

Year:

2018

Language:

english

File:

PDF, 669 KB

english, 2018

7

Branching-Time Model-Checking of Probabilistic Pushdown Automata

Tomáš Brázdil, Václav Brožek, Vojtěch Forejt

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 316 KB

english, 2009

8

Local Distributed Model Checking of Reg CTL

Tomáš Brázdil, Ivana Černá

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 206 KB

english, 2002

9

Deciding probabilistic bisimilarity over infinite-state probabilistic systems

Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský

Journal:

Acta Informatica

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

10

Five centuries of Southern Moravian drought variations revealed from living and historic tree rings

Ulf Büntgen, Rudolf Brázdil, Petr Dobrovolný, Mirek Trnka, Tomáš Kyncl

Journal:

Theoretical and Applied Climatology

Year:

2011

Language:

english

File:

PDF, 1.23 MB

english, 2011

11

Rainfall-induced landslide event of May 2010 in the eastern part of the Czech Republic

Tomáš Pánek, Rudolf Brázdil, Jan Klimeš, Veronika Smolková, Jan Hradecký, Pavel Zahradníček

Journal:

Landslides (Springer)

Year:

2011

Language:

english

File:

PDF, 1.81 MB

english, 2011

12

Stochastic game logic

Christel Baier, Tomáš Brázdil, Marcus Größer, Antonín Kučera

Journal:

Acta Informatica

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

13

Reachability in recursive Markov decision processes

Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

14

Qualitative reachability in stochastic BPA games

Tomáš Brázdil, Václav Brožek, Antonín Kučera, Jan Obdržálek

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 428 KB

english, 2011

15

Space-efficient scheduling of stochastically generated tasks

Tomáš Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 418 KB

english, 2012

16

Slide Plasty of Trachea and Right Main Bronchus in a Newborn

Jan Brazdil, Tomas Tlaskal, Pavel Vojtovic, Petr Pohunek, Martin Cihar

Journal:

The Annals of Thoracic Surgery

Year:

2008

Language:

english

File:

PDF, 106 KB

english, 2008

17

Catastrophic slope failure and its origins: Case of the May 2010 Girová Mountain long-runout rockslide (Czech Republic)

Tomáš Pánek, Karel Šilhán, Petr Tábořík, Jan Hradecký, Veronika Smolková, Jan Lenart, Rudolf Brázdil, Lucie Kašičková, Anna Pazdur

Journal:

Year:

2011

Language:

english

File:

PDF, 4.57 MB

english, 2011

18

Combined dendro-documentary evidence of Central European hydroclimatic springtime extremes over the last millennium

Ulf Büntgen, Rudolf Brázdil, Karl-Uwe Heussner, Jutta Hofmann, Raymond Kontic, Tomáš Kyncl, Christian Pfister, Kateřina Chromá, Willy Tegel

Journal:

Quaternary Science Reviews

Year:

2011

Language:

english

File:

PDF, 2.00 MB

english, 2011

19

Vagus nerve stimulation: Longitudinal follow-up of patients treated for 5 years

Robert Kuba, Milan Brázdil, Miroslav Kalina, Tomáš Procházka, Jiří Hovorka, Tomáš Nežádal, Jan Hadač, Klára Brožová, Věra Sebroňová, Vladimír Komárek, Petr Marusič, Hana Ošlejšková, Jana Zárubová, Iva

Journal:

Year:

2009

Language:

english

File:

PDF, 240 KB

english, 2009

20

Neural correlates of affective picture processing — A depth ERP study

Milan Brázdil, Robert Roman, Tomáš Urbánek, Jan Chládek, Dalibor Špok, Radek Mareček, Michal Mikl, Pavel Jurák, Josef Halámek, Pavel Daniel, Ivan Rektor

Journal:

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

21

Approximating the termination value of one-counter MDPs and stochastic games

Tomáš Brázdil, Václav Brožek, Kousha Etessami, Antonín Kučera

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 335 KB

english, 2013

22

Analyzing probabilistic pushdown automata

Brázdil, Tomáš, Esparza, Javier, Kiefer, Stefan, Kučera, Antonín

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.23 MB

english, 2013

23

Spatio-temporal patterns of recurrent slope instabilities affecting undercut slopes in flysch: A dendrogeomorphic approach using broad-leaved trees

Šilhán, Karel, Pánek, Tomáš, Turský, Ondřej, Brázdil, Rudolf, Klimeš, Jan, Kašičková, Lucie

Journal:

Year:

2014

Language:

english

File:

PDF, 4.80 MB

english, 2014

24

The dating of bedrock landslide reactivations using dendrogeomorphic techniques: The Mazák landslide, Outer Western Carpathians (Czech Republic)

Šilhán, Karel, Pánek, Tomáš, Dušek, Radek, Havlů, Daniel, Brázdil, Rudolf, Kašičková, Lucie, Hradecký, Jan

Journal:

Year:

2013

Language:

english

File:

PDF, 3.10 MB

english, 2013

25

Branching-time model-checking of probabilistic pushdown automata

Brázdil, Tomáš, Brožek, Václav, Forejt, Vojtěch, Kučera, Antonín

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 388 KB

english, 2014

26

Continuous-time stochastic games with time-bounded reachability

Brázdil, Tomáš, Forejt, Vojtěch, Krčál, Jan, Křetínský, Jan, Kučera, Antonín

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 513 KB

english, 2013

27

Runtime analysis of probabilistic programs with unbounded recursion

Brázdil, Tomáš, Kiefer, Stefan, Kučera, Antonín, Hutařová Vařeková, Ivana

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 587 KB

english, 2015

28

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - The Satisfiability Problem for Probabilistic CTL

Brázdil, Tomá, Forejt, Vojtech, Kretínský, Jan, Kucera, Antonín

Year:

2008

Language:

english

File:

PDF, 297 KB

english, 2008

29

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Stochastic Game Logic

Baier, Christel, Brazdil, Tomas, Grosser, Marcus, Kucera, Antonin

Year:

2007

Language:

english

File:

PDF, 792 KB

english, 2007

30

36. Influence of data processing pipelines on EEG-fMRI results in patients with epilepsy

Mikl, Michal, Mareček, Radek, Janoušová, Eva, Slavíček, Tomáš, Bartoň, Marek, Brázdil, Milan

Journal:

Clinical Neurophysiology

Year:

2015

Language:

english

File:

PDF, 48 KB

english, 2015

31

Floods and floodplain changes of the River Morava, the Strážnické Pomoraví region (Czech Republic) over the past 130 years

Brázdil, Rudolf, Máčka, Zdeněk, Řezníčková, Ladislava, Soukalová, Eva, Dobrovolný, Petr, Grygar, Tomáš Matys

Journal:

Hydrological Sciences Journal

Year:

2011

File:

PDF, 1.60 MB

2011

32

[ACM Press the ACM/SPEC international conference - Prague, Czech Republic (2013.04.21-2013.04.24)] Proceedings of the ACM/SPEC international conference on International conference on performance engineering - ICPE '13 - On time-average limits in deterministic and stochastic petri nets

Brázdil, Tomáš, Korenčiak, Luboš, Krčál, Jan, Křetínský, Jan, Řehák, Vojtěch

Year:

2013

Language:

english

File:

PDF, 476 KB

english, 2013

33

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Zero-reachability in probabilistic multi-counter automata

Brázdil, Tomáš, Kiefer, Stefan, Kučera, Antonín, Novotný, Petr, Katoen, Joost-Pieter

Year:

2014

Language:

english

File:

PDF, 368 KB

english, 2014

34

Efficient Analysis of Probabilistic Programs with an Unbounded Counter

Brázdil, Tomás, Kiefer, Stefan, Kŭcera, Antonín

Journal:

Journal of the ACM

Year:

2014

Language:

english

File:

PDF, 558 KB

english, 2014

35

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Measuring performance of continuous-time stochastic processes using timed automata

Brázdil, Tomás, Krcál, Jan, Kretínský, Jan, Kucera, Antonín, Řehák, Vojtech

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

36

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Long-Run Average Behaviour of Probabilistic Vector Addition Systems

Brazdil, Toma, Kiefer, Stefan, Kucera, Antonin, Novotny, Petr

Year:

2015

Language:

english

File:

PDF, 321 KB

english, 2015

37

What's the meaning of this? A behavioral and neurophysiological investigation into the principles behind the classification of visual emotional stimuli

Czekóová, Kristína, Shaw, Daniel J., Urbánek, Tomáš, Chládek, Jan, Lamoš, Martin, Roman, Robert, Brázdil, Milan

Journal:

Psychophysiology

Year:

2016

Language:

english

File:

PDF, 762 KB

english, 2016

38

[IEEE 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI 2016) - Prague, Czech Republic (2016.4.13-2016.4.16)] 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI) - Generalized EEG-FMRI spectral and spatiospectral heuristic models

Labounek, Rene, Janecek, David, Marecek, Radek, Lamos, Martin, Slavicek, Tomas, Mikl, Michal, Bastinec, Jaromir, Bednarik, Petr, Bridwell, David, Brazdil, Milan, Jan, Jiri

Year:

2016

Language:

english

File:

PDF, 883 KB

english, 2016

39

Trading performance for stability in Markov decision processes

Brázdil, Tomáš, Chatterjee, Krishnendu, Forejt, Vojtěch, Kučera, Antonín

Journal:

Journal of Computer and System Sciences

Year:

2017

Language:

english

File:

PDF, 692 KB

english, 2017

40

Multiway Array Decomposition of EEG Spectrum: Implications of Its Stability for the Exploration of Large-Scale Brain Networks

Mareček, Radek, Lamoš, Martin, Labounek, René, Bartoň, Marek, Slavíček, Tomáš, Mikl, Michal, Rektor, Ivan, Brázdil, Milan

Journal:

Neural Computation

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

41

Déjà Vu Experiences in Healthy Czech Adults

Lacinová, Lenka, Neužilová Michalčáková, Radka, Širůček, Jan, Ježek, Stanislav, Chromec, Jakub, Masopustová, Zuzana, Urbánek, Tomáš, Brázdil, Milan

Journal:

Journal of Nervous & Mental Disease

Year:

2016

Language:

english

File:

PDF, 157 KB

english, 2016

42

Policy learning in continuous-time Markov decision processes using Gaussian Processes

Bartocci, Ezio, Bortolussi, Luca, Brázdil, Tomas, Milios, Dimitrios, Sanguinetti, Guido

Journal:

Performance Evaluation

Year:

2017

Language:

english

File:

PDF, 776 KB

english, 2017

43

Stable Scalp EEG Spatiospectral Patterns Across Paradigms Estimated by Group ICA

Labounek, René, Bridwell, David A., Mareček, Radek, Lamoš, Martin, Mikl, Michal, Slavíček, Tomáš, Bednařík, Petr, Baštinec, Jaromír, Hluštík, Petr, Brázdil, Milan, Jan, Jiří

Journal:

Brain Topography

Year:

2017

Language:

english

File:

PDF, 5.26 MB

english, 2017

44

May-July precipitation reconstruction from oak tree-rings for Bohemia (Czech Republic) since AD 1040

Dobrovolný, Petr, Rybníček, Michal, Kolář, Tomáš, Brázdil, Rudolf, Trnka, Miroslav, Büntgen, Ulf

Journal:

International Journal of Climatology

Year:

2017

Language:

english

File:

PDF, 2.70 MB

english, 2017

45

Prenatal Stress, Mood, and Gray Matter Volume in Young Adulthood

Marečková, Klára, Klasnja, Anja, Bencurova, Petra, Andrýsková, Lenka, Brázdil, Milan, Paus, Tomáš

Journal:

Cerebral Cortex

Year:

2018

Language:

english

File:

PDF, 310 KB

english, 2018

46

T43. Developmental Origins of Depression-Related White Matter Properties

Mareckova, Klara, Klasnja, Anja, Bencurova, Petra, Andryskova, Lenka, Brazdil, Milan, Paus, Tomas

Journal:

Biological Psychiatry

Year:

2018

Language:

english

File:

PDF, 42 KB

english, 2018

47

Single-center long-term results of vagus nerve stimulation for epilepsy: A 10–17 year follow-up study

Chrastina, Jan, Novák, Zdeněk, Zeman, Tomáš, Kočvarová, Jitka, Pail, Martin, Doležalová, Irena, Jarkovský, Jiří, Brázdil, Milan

Journal:

Year:

2018

Language:

english

File:

PDF, 750 KB

english, 2018

48

Climate variability and changes in the agricultural cycle in the Czech Lands from the sixteenth century to the present

Brázdil, Rudolf, Možný, Martin, Klír, Tomáš, Řezníčková, Ladislava, Trnka, Miroslav, Dobrovolný, Petr, Kotyza, Oldřich

Journal:

Theoretical and Applied Climatology

Year:

2018

Language:

english

File:

PDF, 4.66 MB

english, 2018

49

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik, Zuleger, Florian

Year:

2018

Language:

english

File:

PDF, 826 KB

english, 2018

50

A dual-fMRI investigation of the iterated Ultimatum Game reveals that reciprocal behaviour is associated with neural alignment

Shaw, Daniel J., Czekóová, Kristína, Staněk, Rostislav, Mareček, Radek, Urbánek, Tomáš, Špalek, Jiří, Kopečková, Lenka, Řezáč, Jan, Brázdil, Milan

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 1.96 MB

english, 2018